Free shipping on all orders! No minimum purchase required.
Applied Formal Methods - FM-Trends 98
by Dieter Hutter (Editor), W. Stephan (Editor), P. Traverso (Editor), Markus Ullmann (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)
